Current State ID: 4
Current State Description: Fast elevator fast0 is at floor 1 with 1/2 passengers (p0 on board). Fast elevator fast1 remains at floor 3 with 0/2 passengers. Slow elevator slow0-0 is at floor 1 with 0/1 passengers. Slow elevator slow1-0 is at floor 3 with 0/1 passengers. Passengers p1 and p4 are on floor 1. Passenger p5 is on floor 3. Passengers p2 and p3 are on floor 4.

Child State ID: 15
Action Taken: board(p1, fast0, n1, 1, 2)
State Description: Fast elevator fast0 is at floor 1 with 2/2 passengers (p0 and p1 on board). Fast elevator fast1 remains at floor 3 with 0/2 passengers. Slow elevator slow0-0 is at floor 1 with 0/1 passengers. Slow elevator slow1-0 is at floor 3 with 0/1 passengers. Passenger p4 is on floor 1. Passenger p5 is on floor 3. Passengers p2 and p3 are on floor 4.

Child State ID: 16
Action Taken: move-down-fast(fast0, n1, n0)
State Description: Fast elevator fast0 is now at floor 0 with 1/2 passengers (p0 on board). Fast elevator fast1 remains at floor 3 with 0/2 passengers. Slow elevator slow0-0 is still at floor 1 with 0/1 passengers. Slow elevator slow1-0 is at floor 3 with 0/1 passengers. Passengers p1 and p4 are on floor 1. Passenger p5 is on floor 3. Passengers p2 and p3 are on floor 4. Fast elevator fast0 has moved to floor 0, ready for p0 to leave.

